HIERARCHICAL STRUCTURE METHOD WITH GOLDEN SECTION FOR ARCHITECTURAL ELEVATIONS BY KENZO TANGE : A study between Kenzo Tange and his proportion Part 2
نویسندگان
چکیده
منابع مشابه
A certified module of Simplicial Complexes for the Kenzo system
In the field of Intelligent Information Processing, mechanized reasoning systems provide a chance of increasing the reliability of software systems, namely Computer Algebra Systems. This paper is devoted to a concrete case of this topic. The notion of simplicial complex, see [7], is the most elementary method to settle a connection between common “general” topology and homological algebra. The ...
متن کاملA Certified Module to Study Digital Images with the Kenzo System
Kenzo is a Computer Algebra system devoted to Algebraic Topology, written in the Common Lisp programming language. In this paper, programs which allow us to analyze monochromatic digital images with the Kenzo system are presented. Besides a complete automated proof of the correctness of our programs is provided. The proof is carried out using ACL2, a system for proving properties of programs wr...
متن کاملBiostratigraphy and depositional history of Coniacian-Santonian succession in East of Ramhormoz area (Tange-Bulfaris section)
This study is focused on the biostratigraphy, sedimentary environments, facies distribution, and sequence stratigraphy of the Coniacian–Santonian sediments of Tange-Bulfaris section. Five assemblage zones have been recognized by distribution of the foraminifera in the study area. Assemblage zone 1(Chara Ostracods zone) is Coniacian in age and occurs in the lower part of the succession. Assembl...
متن کاملACL2 Verification of Simplicial Degeneracy Programs in the Kenzo System
Kenzo is a Computer Algebra system devoted to Algebraic Topology, and written in the Common Lisp programming language. It is a descendant of a previous system called EAT (for Effective Algebraic Topology). Kenzo shows a much better performance than EAT due, among other reasons, to a smart encoding of degeneracy lists as integers. In this paper, we give a complete automated proof of the correctn...
متن کاملModeling Inheritance as Coercion in the Kenzo System
In this paper the analysis of the data structures used in a symbolic computation system, called Kenzo, is undertaken. We deal with the specification of the inheritance relationship since Kenzo is an object-oriented system, written in CLOS, the Common Lisp Object System. We show how the order-sorted algebraic specification formalism can be adapted, through the “inheritance as coercion” metaphor,...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Architecture and Planning (Transactions of AIJ)
سال: 2004
ISSN: 1340-4210,1881-8161
DOI: 10.3130/aija.69.201_1